Communication Among Agents: A Way To Revise Beliefs In KD45 Kripke Structures1
نویسندگان
چکیده
We address the issue of belief revision in a multi-agent setting. We represent agents’ beliefs in a semantic manner, through a Kripke structure, and model a communication process by which agents communicate their beliefs to one another. We define a revision rule that can be applied even when agents have contradictory beliefs. We study its properties and show that agents need not agree after communicating their beliefs. We finally address the dynamics of revision and show that the order of communication may affect the resulting belief structure.
منابع مشابه
Communication among Agents: A Way to Revise Beliefs in KD45 Kripke Structures
We address the issue of belief revision in a multi-agent setting. We represent agents' beliefs in a semantic manner, through a Kripke structure, and model a communication process by which agents communicate their beliefs to one another. We define a revision rule that can be applied even when agents have contradictory beliefs. We study its properties and show that agents need not agree after com...
متن کاملParametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)
We propose parametric constructive Kripke-semantics for multi-agent KD45-belief and S5-knowledge in terms of elementary set-theoretic constructions of two basic functional building blocks, namely bias (or viewpoint) and visibility, functioning also as the parameters of the doxastic and epistemic accessibility relation. The doxastic accessibility relates two possible worlds whenever the applicat...
متن کاملA Quantitative Analysis of Modal Logic
We do a quantitative analysis of modal logic. For example. for each Kripke structure M , we study the least ordinal ,u such that for each state of M , the beliefs up to level ,u characterize the agents’ beliefs (that is, there is only one way to extend these beliefs to higher levels). As another example, we show the equivalence of three conditions, that on the face of it look quite different, f...
متن کاملPublic and private communication are different: results on relative expressivity
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DEL language for public and private communication. It is shown that the language of public communication with common knowledge and the language of private communication with common knowledge are expressively incomparable...
متن کاملPossibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic
In this paper we provide a simplified semantics for the logic KD45(G), i.e. the many-valued Gödel counterpart of the classical modal logic KD45. More precisely, we characterize KD45(G) as the set of valid formulae of the class of possibilistic Gödel Kripke Frames 〈W,π〉, where W is a non-empty set of worlds and π : W → [0, 1] is a normalized possibility distribution on W .
متن کامل